partial correctness proof
英 [ˈpɑːʃl kəˈrektnəs pruːf]
美 [ˈpɑːrʃl kəˈrektnəs pruːf]
网络 部分正確性證明; 部分正确性证明
双语例句
- Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。